#ifndef __LIB_STDARG_H
#define __LIB_STDARG_H

/* GCC has <stdarg.h> functionality as built-ins,
   so all we need is to use it. */

typedef __builtin_va_list va_list;

#define va_start(LIST, ARG) __builtin_va_start(LIST, ARG)
#define va_end(LIST) __builtin_va_end(LIST)
#define va_arg(LIST, TYPE) __builtin_va_arg(LIST, TYPE)
#define va_copy(DST, SRC) __builtin_va_copy(DST, SRC)

#endif /* lib/stdarg.h */
